Kapil Vaswani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Mining quantified temporal rules: Formalism, algorithms, and evaluation

David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 423 KB

english, 2012

2

[IEEE International Symposium on Code Generation and Optimization (CGO'07) - San Jose, CA, USA (2007.03.11-2007.03.14)] International Symposium on Code Generation and Optimization (CGO'07) - Microarchitecture Sensitive Empirical Models for Compiler Optimizations

Vaswani, Kapil, Thazhuthaveetil, Matthew J., Srikant, Y. N., Joseph, P. J.

Year:

2007

Language:

english

File:

PDF, 820 KB

english, 2007

3

[ACM Press the FSE/SDP workshop - Santa Fe, New Mexico, USA (2010.11.07-2010.11.08)] Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10 - Differential static analysis

Lahiri, Shuvendu K., Vaswani, Kapil, Hoare, C A. R.

Year:

2010

Language:

english

File:

PDF, 438 KB

english, 2010

4

[IEEE 2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06) - Orlando, FL, USA (2006.12.9-2006.12.9)] 2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06) - A Predictive Performance Model for Superscalar Processors

Joseph, P., Vaswani, Kapil, Thazhuthaveetil, Matthew

Year:

2006

Language:

english

File:

PDF, 280 KB

english, 2006

5

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - HOLMES: Effective statistical debugging via efficient path profiling

Chilimbi, Trishul M., Liblit, Ben, Mehra, Krishna, Nori, Aditya V., Vaswani, Kapil

Year:

2009

Language:

english

File:

PDF, 697 KB

english, 2009

6

[IEEE 2009 16th Working Conference on Reverse Engineering - Lille, France (2009.10.13-2009.10.16)] 2009 16th Working Conference on Reverse Engineering - Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation

Lo, David, Ramalingam, Ganesan, Ranganath, Venkatesh Prasad, Vaswani, Kapil

Year:

2009

Language:

english

File:

PDF, 550 KB

english, 2009

7

DARWIN

Qi, Dawei, Roychoudhury, Abhik, Liang, Zhenkai, Vaswani, Kapil

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2012

Language:

english

File:

PDF, 477 KB

english, 2012

8

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Preferential path profiling

Vaswani, Kapil, Nori, Aditya V., Chilimbi, Trishul M.

Year:

2007

Language:

english

File:

PDF, 1.69 MB

english, 2007

9

[ACM Press The 6th Joint Meeting - Dubrovnik, Croatia (2007.09.03-2007.09.07)] The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07 - Quantifying the effectiveness of testing via efficient residual path profiling

Chilimbi, Trishul M., Nori, Aditya V., Vaswani, Kapil

Year:

2007

Language:

english

File:

PDF, 153 KB

english, 2007

10

[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Quantifying the effectiveness of testing via efficient residual path profiling

Chilimbi, Trishul M., Nori, Aditya V., Vaswani, Kapil

Year:

2007

Language:

english

File:

PDF, 166 KB

english, 2007

11

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Fault tolerance via idempotence

Ramalingam, Ganesan, Vaswani, Kapil

Year:

2013

Language:

english

File:

PDF, 903 KB

english, 2013

12

ISOLATOR

Rajamani, Sriram, Ramalingam, G., Ranganath, Venkatesh Prasad, Vaswani, Kapil

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 1.92 MB

english, 2009

13

[ACM Press Proceeding of the 14th international conference - Washington, DC, USA (2009.03.07-2009.03.11)] Proceeding of the 14th international conference on Architectural support for programming languages and operating systems - ASPLOS '09 - ISOLATOR

Rajamani, Sriram, Ramalingam, G., Ranganath, Venkatesh Prasad, Vaswani, Kapil

Year:

2009

Language:

english

File:

PDF, 1.92 MB

english, 2009

14

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Darwin

Qi, Dawei, Roychoudhury, Abhik, Liang, Zhenkai, Vaswani, Kapil

Year:

2009

Language:

english

File:

PDF, 557 KB

english, 2009

15

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Safe programmable speculative parallelism

Prabhu, Prakash, Ramalingam, Ganesan, Vaswani, Kapil

Year:

2010

Language:

english

File:

PDF, 703 KB

english, 2010

16

[ACM Press the 2012 ACM symposium - Madeira, Portugal (2012.07.16-2012.07.18)] Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12 - Generalized lattice agreement

Falerio, Jose M., Rajamani, Sriram, Rajan, Kaushik, Ramalingam, G., Vaswani, Kapil

Year:

2012

Language:

english

File:

PDF, 400 KB

english, 2012

17

[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - Moat

Sinha, Rohit, Rajamani, Sriram, Seshia, Sanjit, Vaswani, Kapil

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

18

Preferential path profiling

Vaswani, Kapil, Nori, Aditya V., Chilimbi, Trishul M.

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 1.69 MB

english, 2007

19

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Simple, fast, and safe manual memory management

Kedia, Piyus, Costa, Manuel, Parkinson, Matthew, Vaswani, Kapil, Vytiniotis, Dimitrios, Blankstein, Aaron

Year:

2017

Language:

english

File:

PDF, 537 KB

english, 2017

20

Safe programmable speculative parallelism

Prabhu, Prakash, Ramalingam, Ganesan, Vaswani, Kapil

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 703 KB

english, 2010

21

Principles of Eventual Consistency

Ravichandhran, Madhavan, Ramalingam, G., Vaswani, Kapil

Journal:

Foundations and Trends® in Programming Languages

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

22

[IEEE 2018 IEEE Symposium on Security and Privacy (SP) - San Francisco, CA, USA (2018.5.20-2018.5.24)] 2018 IEEE Symposium on Security and Privacy (SP) - EnclaveDB: A Secure Database Using SGX

Priebe, Christian, Vaswani, Kapil, Costa, Manuel

Year:

2018

Language:

english

File:

PDF, 652 KB

english, 2018

23

Project snowflake: non-blocking safe manual memory management in .NET

Parkinson, Matthew, Vytiniotis, Dimitrios, Vaswani, Kapil, Costa, Manuel, Deligiannis, Pantazis, McDermott, Dylan, Blankstein, Aaron, Balkind, Jonathan

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 647 KB

english, 2017